Home
About
Cn
Dn
Sn
An
Degree
Linear
Irr Reps
Characters
x
:
.
o
wr

Extensions 1→N→G→Q→1 with N=C2xC3:C8 and Q=C22

Direct product G=NxQ with N=C2xC3:C8 and Q=C22
dρLabelID
C23xC3:C8192C2^3xC3:C8192,1339

Semidirect products G=N:Q with N=C2xC3:C8 and Q=C22
extensionφ:Q→Out NdρLabelID
(C2xC3:C8):1C22 = C4:C4:19D6φ: C22/C1 → C22 ⊆ Out C2xC3:C848(C2xC3:C8):1C2^2192,329
(C2xC3:C8):2C22 = D4:D12φ: C22/C1 → C22 ⊆ Out C2xC3:C848(C2xC3:C8):2C2^2192,332
(C2xC3:C8):3C22 = D6:5SD16φ: C22/C1 → C22 ⊆ Out C2xC3:C848(C2xC3:C8):3C2^2192,335
(C2xC3:C8):4C22 = C4:C4:36D6φ: C22/C1 → C22 ⊆ Out C2xC3:C848(C2xC3:C8):4C2^2192,560
(C2xC3:C8):5C22 = D12:16D4φ: C22/C1 → C22 ⊆ Out C2xC3:C848(C2xC3:C8):5C2^2192,595
(C2xC3:C8):6C22 = D12.36D4φ: C22/C1 → C22 ⊆ Out C2xC3:C848(C2xC3:C8):6C2^2192,605
(C2xC3:C8):7C22 = D12:D4φ: C22/C1 → C22 ⊆ Out C2xC3:C848(C2xC3:C8):7C2^2192,715
(C2xC3:C8):8C22 = D6:6SD16φ: C22/C1 → C22 ⊆ Out C2xC3:C848(C2xC3:C8):8C2^2192,728
(C2xC3:C8):9C22 = (C6xD4):6C4φ: C22/C1 → C22 ⊆ Out C2xC3:C848(C2xC3:C8):9C2^2192,774
(C2xC3:C8):10C22 = (C2xC6):8D8φ: C22/C1 → C22 ⊆ Out C2xC3:C848(C2xC3:C8):10C2^2192,776
(C2xC3:C8):11C22 = (C3xD4).31D4φ: C22/C1 → C22 ⊆ Out C2xC3:C848(C2xC3:C8):11C2^2192,777
(C2xC3:C8):12C22 = M4(2):26D6φ: C22/C1 → C22 ⊆ Out C2xC3:C8484(C2xC3:C8):12C2^2192,1304
(C2xC3:C8):13C22 = M4(2):28D6φ: C22/C1 → C22 ⊆ Out C2xC3:C8484(C2xC3:C8):13C2^2192,1309
(C2xC3:C8):14C22 = C2xD8:S3φ: C22/C1 → C22 ⊆ Out C2xC3:C848(C2xC3:C8):14C2^2192,1314
(C2xC3:C8):15C22 = C2xQ8:3D6φ: C22/C1 → C22 ⊆ Out C2xC3:C848(C2xC3:C8):15C2^2192,1318
(C2xC3:C8):16C22 = SD16:D6φ: C22/C1 → C22 ⊆ Out C2xC3:C8484(C2xC3:C8):16C2^2192,1327
(C2xC3:C8):17C22 = D8:5D6φ: C22/C1 → C22 ⊆ Out C2xC3:C8488+(C2xC3:C8):17C2^2192,1333
(C2xC3:C8):18C22 = D8:6D6φ: C22/C1 → C22 ⊆ Out C2xC3:C8488-(C2xC3:C8):18C2^2192,1334
(C2xC3:C8):19C22 = C24.C23φ: C22/C1 → C22 ⊆ Out C2xC3:C8488+(C2xC3:C8):19C2^2192,1337
(C2xC3:C8):20C22 = C2xD12:6C22φ: C22/C1 → C22 ⊆ Out C2xC3:C848(C2xC3:C8):20C2^2192,1352
(C2xC3:C8):21C22 = C12.76C24φ: C22/C1 → C22 ⊆ Out C2xC3:C8484(C2xC3:C8):21C2^2192,1378
(C2xC3:C8):22C22 = C2xD4:D6φ: C22/C1 → C22 ⊆ Out C2xC3:C848(C2xC3:C8):22C2^2192,1379
(C2xC3:C8):23C22 = C12.C24φ: C22/C1 → C22 ⊆ Out C2xC3:C8484(C2xC3:C8):23C2^2192,1381
(C2xC3:C8):24C22 = D12.32C23φ: C22/C1 → C22 ⊆ Out C2xC3:C8488+(C2xC3:C8):24C2^2192,1394
(C2xC3:C8):25C22 = D12.33C23φ: C22/C1 → C22 ⊆ Out C2xC3:C8488-(C2xC3:C8):25C2^2192,1395
(C2xC3:C8):26C22 = D12.34C23φ: C22/C1 → C22 ⊆ Out C2xC3:C8488+(C2xC3:C8):26C2^2192,1396
(C2xC3:C8):27C22 = D6:M4(2)φ: C22/C1 → C22 ⊆ Out C2xC3:C848(C2xC3:C8):27C2^2192,285
(C2xC3:C8):28C22 = D6:6M4(2)φ: C22/C1 → C22 ⊆ Out C2xC3:C848(C2xC3:C8):28C2^2192,685
(C2xC3:C8):29C22 = C24.6Dic3φ: C22/C1 → C22 ⊆ Out C2xC3:C848(C2xC3:C8):29C2^2192,766
(C2xC3:C8):30C22 = S3xD4:C4φ: C22/C2 → C2 ⊆ Out C2xC3:C848(C2xC3:C8):30C2^2192,328
(C2xC3:C8):31C22 = C2xC6.D8φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8):31C2^2192,524
(C2xC3:C8):32C22 = C2xD4:Dic3φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8):32C2^2192,773
(C2xC3:C8):33C22 = C2xD12.C4φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8):33C2^2192,1303
(C2xC3:C8):34C22 = S3xC8oD4φ: C22/C2 → C2 ⊆ Out C2xC3:C8484(C2xC3:C8):34C2^2192,1308
(C2xC3:C8):35C22 = C2xS3xD8φ: C22/C2 → C2 ⊆ Out C2xC3:C848(C2xC3:C8):35C2^2192,1313
(C2xC3:C8):36C22 = C2xS3xSD16φ: C22/C2 → C2 ⊆ Out C2xC3:C848(C2xC3:C8):36C2^2192,1317
(C2xC3:C8):37C22 = S3xC4oD8φ: C22/C2 → C2 ⊆ Out C2xC3:C8484(C2xC3:C8):37C2^2192,1326
(C2xC3:C8):38C22 = C22xD4:S3φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8):38C2^2192,1351
(C2xC3:C8):39C22 = C22xD4.S3φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8):39C2^2192,1353
(C2xC3:C8):40C22 = C22xQ8:2S3φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8):40C2^2192,1366
(C2xC3:C8):41C22 = C2xD4.Dic3φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8):41C2^2192,1377
(C2xC3:C8):42C22 = C2xQ8.13D6φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8):42C2^2192,1380
(C2xC3:C8):43C22 = S3xC22:C8φ: C22/C2 → C2 ⊆ Out C2xC3:C848(C2xC3:C8):43C2^2192,283
(C2xC3:C8):44C22 = C2xD6:C8φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8):44C2^2192,667
(C2xC3:C8):45C22 = C2xC12.55D4φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8):45C2^2192,765
(C2xC3:C8):46C22 = C22xC8:S3φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8):46C2^2192,1296
(C2xC3:C8):47C22 = C2xS3xM4(2)φ: C22/C2 → C2 ⊆ Out C2xC3:C848(C2xC3:C8):47C2^2192,1302
(C2xC3:C8):48C22 = C22xC4.Dic3φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8):48C2^2192,1340
(C2xC3:C8):49C22 = S3xC22xC8φ: trivial image96(C2xC3:C8):49C2^2192,1295

Non-split extensions G=N.Q with N=C2xC3:C8 and Q=C22
extensionφ:Q→Out NdρLabelID
(C2xC3:C8).1C22 = D12.2D4φ: C22/C1 → C22 ⊆ Out C2xC3:C8488-(C2xC3:C8).1C2^2192,307
(C2xC3:C8).2C22 = D12.3D4φ: C22/C1 → C22 ⊆ Out C2xC3:C8488+(C2xC3:C8).2C2^2192,308
(C2xC3:C8).3C22 = D12.6D4φ: C22/C1 → C22 ⊆ Out C2xC3:C8488+(C2xC3:C8).3C2^2192,313
(C2xC3:C8).4C22 = D12.7D4φ: C22/C1 → C22 ⊆ Out C2xC3:C8968-(C2xC3:C8).4C2^2192,314
(C2xC3:C8).5C22 = D4.S3:C4φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).5C2^2192,316
(C2xC3:C8).6C22 = Dic3.D8φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).6C2^2192,318
(C2xC3:C8).7C22 = D4:Dic6φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).7C2^2192,320
(C2xC3:C8).8C22 = Dic6:2D4φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).8C2^2192,321
(C2xC3:C8).9C22 = D4.Dic6φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).9C2^2192,322
(C2xC3:C8).10C22 = C4:C4.D6φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).10C2^2192,323
(C2xC3:C8).11C22 = C12:Q8:C2φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).11C2^2192,324
(C2xC3:C8).12C22 = D4.2Dic6φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).12C2^2192,325
(C2xC3:C8).13C22 = Dic6.D4φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).13C2^2192,326
(C2xC3:C8).14C22 = D4:(C4xS3)φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).14C2^2192,330
(C2xC3:C8).15C22 = D6.D8φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).15C2^2192,333
(C2xC3:C8).16C22 = D6.SD16φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).16C2^2192,336
(C2xC3:C8).17C22 = D6:C8:11C2φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).17C2^2192,338
(C2xC3:C8).18C22 = C3:C8:1D4φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).18C2^2192,339
(C2xC3:C8).19C22 = D4:3D12φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).19C2^2192,340
(C2xC3:C8).20C22 = C3:C8:D4φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).20C2^2192,341
(C2xC3:C8).21C22 = D4.D12φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).21C2^2192,342
(C2xC3:C8).22C22 = C24:1C4:C2φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).22C2^2192,343
(C2xC3:C8).23C22 = D4:S3:C4φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).23C2^2192,344
(C2xC3:C8).24C22 = D12:3D4φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).24C2^2192,345
(C2xC3:C8).25C22 = D12.D4φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).25C2^2192,346
(C2xC3:C8).26C22 = C3:Q16:C4φ: C22/C1 → C22 ⊆ Out C2xC3:C8192(C2xC3:C8).26C2^2192,348
(C2xC3:C8).27C22 = Q8:2Dic6φ: C22/C1 → C22 ⊆ Out C2xC3:C8192(C2xC3:C8).27C2^2192,350
(C2xC3:C8).28C22 = Q8:3Dic6φ: C22/C1 → C22 ⊆ Out C2xC3:C8192(C2xC3:C8).28C2^2192,352
(C2xC3:C8).29C22 = (C2xC8).D6φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).29C2^2192,353
(C2xC3:C8).30C22 = Dic3:Q16φ: C22/C1 → C22 ⊆ Out C2xC3:C8192(C2xC3:C8).30C2^2192,354
(C2xC3:C8).31C22 = Q8.3Dic6φ: C22/C1 → C22 ⊆ Out C2xC3:C8192(C2xC3:C8).31C2^2192,355
(C2xC3:C8).32C22 = (C2xQ8).36D6φ: C22/C1 → C22 ⊆ Out C2xC3:C8192(C2xC3:C8).32C2^2192,356
(C2xC3:C8).33C22 = Dic6.11D4φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).33C2^2192,357
(C2xC3:C8).34C22 = Q8.4Dic6φ: C22/C1 → C22 ⊆ Out C2xC3:C8192(C2xC3:C8).34C2^2192,358
(C2xC3:C8).35C22 = (S3xQ8):C4φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).35C2^2192,361
(C2xC3:C8).36C22 = Q8:7(C4xS3)φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).36C2^2192,362
(C2xC3:C8).37C22 = D6.1SD16φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).37C2^2192,364
(C2xC3:C8).38C22 = Q8:3D12φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).38C2^2192,365
(C2xC3:C8).39C22 = Q8.11D12φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).39C2^2192,367
(C2xC3:C8).40C22 = D6:Q16φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).40C2^2192,368
(C2xC3:C8).41C22 = Q8:4D12φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).41C2^2192,369
(C2xC3:C8).42C22 = D6.Q16φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).42C2^2192,370
(C2xC3:C8).43C22 = C3:(C8:D4)φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).43C2^2192,371
(C2xC3:C8).44C22 = D6:C8.C2φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).44C2^2192,373
(C2xC3:C8).45C22 = C8:Dic3:C2φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).45C2^2192,374
(C2xC3:C8).46C22 = C3:C8.D4φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).46C2^2192,375
(C2xC3:C8).47C22 = Q8:3(C4xS3)φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).47C2^2192,376
(C2xC3:C8).48C22 = Dic3:SD16φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).48C2^2192,377
(C2xC3:C8).49C22 = D12.12D4φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).49C2^2192,378
(C2xC3:C8).50C22 = M4(2).22D6φ: C22/C1 → C22 ⊆ Out C2xC3:C8484(C2xC3:C8).50C2^2192,382
(C2xC3:C8).51C22 = Dic12:9C4φ: C22/C1 → C22 ⊆ Out C2xC3:C8192(C2xC3:C8).51C2^2192,412
(C2xC3:C8).52C22 = Dic6:Q8φ: C22/C1 → C22 ⊆ Out C2xC3:C8192(C2xC3:C8).52C2^2192,413
(C2xC3:C8).53C22 = C24:3Q8φ: C22/C1 → C22 ⊆ Out C2xC3:C8192(C2xC3:C8).53C2^2192,415
(C2xC3:C8).54C22 = Dic6.Q8φ: C22/C1 → C22 ⊆ Out C2xC3:C8192(C2xC3:C8).54C2^2192,416
(C2xC3:C8).55C22 = C8:(C4xS3)φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).55C2^2192,420
(C2xC3:C8).56C22 = D6.2SD16φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).56C2^2192,421
(C2xC3:C8).57C22 = D6.4SD16φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).57C2^2192,422
(C2xC3:C8).58C22 = C24:7D4φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).58C2^2192,424
(C2xC3:C8).59C22 = C4.Q8:S3φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).59C2^2192,425
(C2xC3:C8).60C22 = C8.2D12φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).60C2^2192,426
(C2xC3:C8).61C22 = C6.(C4oD8)φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).61C2^2192,427
(C2xC3:C8).62C22 = D24:9C4φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).62C2^2192,428
(C2xC3:C8).63C22 = D12:Q8φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).63C2^2192,429
(C2xC3:C8).64C22 = D12.Q8φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).64C2^2192,430
(C2xC3:C8).65C22 = Dic3.Q16φ: C22/C1 → C22 ⊆ Out C2xC3:C8192(C2xC3:C8).65C2^2192,434
(C2xC3:C8).66C22 = C24:4Q8φ: C22/C1 → C22 ⊆ Out C2xC3:C8192(C2xC3:C8).66C2^2192,435
(C2xC3:C8).67C22 = Dic6.2Q8φ: C22/C1 → C22 ⊆ Out C2xC3:C8192(C2xC3:C8).67C2^2192,436
(C2xC3:C8).68C22 = C8:S3:C4φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).68C2^2192,440
(C2xC3:C8).69C22 = D6.5D8φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).69C2^2192,441
(C2xC3:C8).70C22 = D6.2Q16φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).70C2^2192,443
(C2xC3:C8).71C22 = C2.D8:S3φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).71C2^2192,444
(C2xC3:C8).72C22 = C8:3D12φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).72C2^2192,445
(C2xC3:C8).73C22 = C2.D8:7S3φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).73C2^2192,447
(C2xC3:C8).74C22 = C24:C2:C4φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).74C2^2192,448
(C2xC3:C8).75C22 = D12:2Q8φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).75C2^2192,449
(C2xC3:C8).76C22 = D12.2Q8φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).76C2^2192,450
(C2xC3:C8).77C22 = M4(2).25D6φ: C22/C1 → C22 ⊆ Out C2xC3:C8484(C2xC3:C8).77C2^2192,452
(C2xC3:C8).78C22 = D24:10C4φ: C22/C1 → C22 ⊆ Out C2xC3:C8484(C2xC3:C8).78C2^2192,453
(C2xC3:C8).79C22 = C4:C4.225D6φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).79C2^2192,523
(C2xC3:C8).80C22 = C4oD12:C4φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).80C2^2192,525
(C2xC3:C8).81C22 = (C2xC6).40D8φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).81C2^2192,526
(C2xC3:C8).82C22 = C4:C4.228D6φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).82C2^2192,527
(C2xC3:C8).83C22 = C4:C4.230D6φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).83C2^2192,529
(C2xC3:C8).84C22 = C4:C4.231D6φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).84C2^2192,530
(C2xC3:C8).85C22 = C4:C4.232D6φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).85C2^2192,554
(C2xC3:C8).86C22 = C4:C4.233D6φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).86C2^2192,555
(C2xC3:C8).87C22 = C4:C4.236D6φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).87C2^2192,562
(C2xC3:C8).88C22 = C4:C4.237D6φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).88C2^2192,563
(C2xC3:C8).89C22 = C12.50D8φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).89C2^2192,566
(C2xC3:C8).90C22 = C12.38SD16φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).90C2^2192,567
(C2xC3:C8).91C22 = D4.3Dic6φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).91C2^2192,568
(C2xC3:C8).92C22 = C42.48D6φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).92C2^2192,573
(C2xC3:C8).93C22 = C12:7D8φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).93C2^2192,574
(C2xC3:C8).94C22 = D4.1D12φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).94C2^2192,575
(C2xC3:C8).95C22 = C42.51D6φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).95C2^2192,577
(C2xC3:C8).96C22 = D4.2D12φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).96C2^2192,578
(C2xC3:C8).97C22 = Q8:4Dic6φ: C22/C1 → C22 ⊆ Out C2xC3:C8192(C2xC3:C8).97C2^2192,579
(C2xC3:C8).98C22 = Q8:5Dic6φ: C22/C1 → C22 ⊆ Out C2xC3:C8192(C2xC3:C8).98C2^2192,580
(C2xC3:C8).99C22 = Q8.5Dic6φ: C22/C1 → C22 ⊆ Out C2xC3:C8192(C2xC3:C8).99C2^2192,581
(C2xC3:C8).100C22 = C42.56D6φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).100C2^2192,585
(C2xC3:C8).101C22 = Q8:2D12φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).101C2^2192,586
(C2xC3:C8).102C22 = Q8.6D12φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).102C2^2192,587
(C2xC3:C8).103C22 = C42.59D6φ: C22/C1 → C22 ⊆ Out C2xC3:C8192(C2xC3:C8).103C2^2192,589
(C2xC3:C8).104C22 = C12:7Q16φ: C22/C1 → C22 ⊆ Out C2xC3:C8192(C2xC3:C8).104C2^2192,590
(C2xC3:C8).105C22 = (C2xC6).D8φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).105C2^2192,592
(C2xC3:C8).106C22 = C4:D4.S3φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).106C2^2192,593
(C2xC3:C8).107C22 = C6.Q16:C2φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).107C2^2192,594
(C2xC3:C8).108C22 = D12:17D4φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).108C2^2192,596
(C2xC3:C8).109C22 = C4:D4:S3φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).109C2^2192,598
(C2xC3:C8).110C22 = Dic6:17D4φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).110C2^2192,599
(C2xC3:C8).111C22 = C3:C8:5D4φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).111C2^2192,601
(C2xC3:C8).112C22 = (C2xQ8).49D6φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).112C2^2192,602
(C2xC3:C8).113C22 = (C2xC6).Q16φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).113C2^2192,603
(C2xC3:C8).114C22 = (C2xQ8).51D6φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).114C2^2192,604
(C2xC3:C8).115C22 = D12.37D4φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).115C2^2192,606
(C2xC3:C8).116C22 = C3:C8:6D4φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).116C2^2192,608
(C2xC3:C8).117C22 = Dic6.37D4φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).117C2^2192,609
(C2xC3:C8).118C22 = C3:C8.6D4φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).118C2^2192,611
(C2xC3:C8).119C22 = C42.61D6φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).119C2^2192,613
(C2xC3:C8).120C22 = C42.62D6φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).120C2^2192,614
(C2xC3:C8).121C22 = D12.23D4φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).121C2^2192,616
(C2xC3:C8).122C22 = C42.64D6φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).122C2^2192,617
(C2xC3:C8).123C22 = C42.65D6φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).123C2^2192,619
(C2xC3:C8).124C22 = Dic6.4Q8φ: C22/C1 → C22 ⊆ Out C2xC3:C8192(C2xC3:C8).124C2^2192,622
(C2xC3:C8).125C22 = C42.68D6φ: C22/C1 → C22 ⊆ Out C2xC3:C8192(C2xC3:C8).125C2^2192,623
(C2xC3:C8).126C22 = D12.4Q8φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).126C2^2192,625
(C2xC3:C8).127C22 = C42.70D6φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).127C2^2192,626
(C2xC3:C8).128C22 = C42.71D6φ: C22/C1 → C22 ⊆ Out C2xC3:C8192(C2xC3:C8).128C2^2192,628
(C2xC3:C8).129C22 = C42.72D6φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).129C2^2192,630
(C2xC3:C8).130C22 = C12:2D8φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).130C2^2192,631
(C2xC3:C8).131C22 = C42.74D6φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).131C2^2192,633
(C2xC3:C8).132C22 = Dic6:9D4φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).132C2^2192,634
(C2xC3:C8).133C22 = C42.76D6φ: C22/C1 → C22 ⊆ Out C2xC3:C8192(C2xC3:C8).133C2^2192,640
(C2xC3:C8).134C22 = C42.77D6φ: C22/C1 → C22 ⊆ Out C2xC3:C8192(C2xC3:C8).134C2^2192,641
(C2xC3:C8).135C22 = C12:5SD16φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).135C2^2192,642
(C2xC3:C8).136C22 = D12:5Q8φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).136C2^2192,643
(C2xC3:C8).137C22 = C42.80D6φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).137C2^2192,645
(C2xC3:C8).138C22 = D12:6Q8φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).138C2^2192,646
(C2xC3:C8).139C22 = C42.82D6φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).139C2^2192,648
(C2xC3:C8).140C22 = C12:Q16φ: C22/C1 → C22 ⊆ Out C2xC3:C8192(C2xC3:C8).140C2^2192,649
(C2xC3:C8).141C22 = Dic6:5Q8φ: C22/C1 → C22 ⊆ Out C2xC3:C8192(C2xC3:C8).141C2^2192,650
(C2xC3:C8).142C22 = Dic6:6Q8φ: C22/C1 → C22 ⊆ Out C2xC3:C8192(C2xC3:C8).142C2^2192,653
(C2xC3:C8).143C22 = C23.8Dic6φ: C22/C1 → C22 ⊆ Out C2xC3:C8484(C2xC3:C8).143C2^2192,683
(C2xC3:C8).144C22 = C24.54D4φ: C22/C1 → C22 ⊆ Out C2xC3:C8484(C2xC3:C8).144C2^2192,704
(C2xC3:C8).145C22 = Dic3:D8φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).145C2^2192,709
(C2xC3:C8).146C22 = D8:Dic3φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).146C2^2192,711
(C2xC3:C8).147C22 = (C6xD8).C2φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).147C2^2192,712
(C2xC3:C8).148C22 = C24:11D4φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).148C2^2192,713
(C2xC3:C8).149C22 = Dic6:D4φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).149C2^2192,717
(C2xC3:C8).150C22 = C24:12D4φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).150C2^2192,718
(C2xC3:C8).151C22 = Dic3:3SD16φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).151C2^2192,721
(C2xC3:C8).152C22 = Dic3:5SD16φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).152C2^2192,722
(C2xC3:C8).153C22 = SD16:Dic3φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).153C2^2192,723
(C2xC3:C8).154C22 = (C3xD4).D4φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).154C2^2192,724
(C2xC3:C8).155C22 = (C3xQ8).D4φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).155C2^2192,725
(C2xC3:C8).156C22 = C24.31D4φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).156C2^2192,726
(C2xC3:C8).157C22 = D6:8SD16φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).157C2^2192,729
(C2xC3:C8).158C22 = D12:7D4φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).158C2^2192,731
(C2xC3:C8).159C22 = Dic6.16D4φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).159C2^2192,732
(C2xC3:C8).160C22 = C24:8D4φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).160C2^2192,733
(C2xC3:C8).161C22 = C24:9D4φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).161C2^2192,735
(C2xC3:C8).162C22 = Dic3:3Q16φ: C22/C1 → C22 ⊆ Out C2xC3:C8192(C2xC3:C8).162C2^2192,741
(C2xC3:C8).163C22 = Q16:Dic3φ: C22/C1 → C22 ⊆ Out C2xC3:C8192(C2xC3:C8).163C2^2192,743
(C2xC3:C8).164C22 = (C2xQ16):S3φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).164C2^2192,744
(C2xC3:C8).165C22 = D6:5Q16φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).165C2^2192,745
(C2xC3:C8).166C22 = D12.17D4φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).166C2^2192,746
(C2xC3:C8).167C22 = C24.36D4φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).167C2^2192,748
(C2xC3:C8).168C22 = C24.37D4φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).168C2^2192,749
(C2xC3:C8).169C22 = D8:4Dic3φ: C22/C1 → C22 ⊆ Out C2xC3:C8484(C2xC3:C8).169C2^2192,756
(C2xC3:C8).170C22 = M4(2).D6φ: C22/C1 → C22 ⊆ Out C2xC3:C8488+(C2xC3:C8).170C2^2192,758
(C2xC3:C8).171C22 = M4(2).13D6φ: C22/C1 → C22 ⊆ Out C2xC3:C8488-(C2xC3:C8).171C2^2192,759
(C2xC3:C8).172C22 = M4(2).15D6φ: C22/C1 → C22 ⊆ Out C2xC3:C8488+(C2xC3:C8).172C2^2192,762
(C2xC3:C8).173C22 = M4(2).16D6φ: C22/C1 → C22 ⊆ Out C2xC3:C8968-(C2xC3:C8).173C2^2192,763
(C2xC3:C8).174C22 = (C6xQ8):6C4φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).174C2^2192,784
(C2xC3:C8).175C22 = (C3xQ8):13D4φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).175C2^2192,786
(C2xC3:C8).176C22 = (C2xC6):8Q16φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).176C2^2192,787
(C2xC3:C8).177C22 = C4oD4:3Dic3φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).177C2^2192,791
(C2xC3:C8).178C22 = (C3xD4):14D4φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).178C2^2192,797
(C2xC3:C8).179C22 = (C3xD4).32D4φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).179C2^2192,798
(C2xC3:C8).180C22 = C2xD4.D6φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).180C2^2192,1319
(C2xC3:C8).181C22 = C2xQ16:S3φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).181C2^2192,1323
(C2xC3:C8).182C22 = SD16.D6φ: C22/C1 → C22 ⊆ Out C2xC3:C8968-(C2xC3:C8).182C2^2192,1338
(C2xC3:C8).183C22 = C2xQ8.11D6φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).183C2^2192,1367
(C2xC3:C8).184C22 = C2xQ8.14D6φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).184C2^2192,1382
(C2xC3:C8).185C22 = D12.35C23φ: C22/C1 → C22 ⊆ Out C2xC3:C8968-(C2xC3:C8).185C2^2192,1397
(C2xC3:C8).186C22 = C24:12Q8φ: C22/C1 → C22 ⊆ Out C2xC3:C8192(C2xC3:C8).186C2^2192,238
(C2xC3:C8).187C22 = C8:6D12φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).187C2^2192,247
(C2xC3:C8).188C22 = C42.243D6φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).188C2^2192,249
(C2xC3:C8).189C22 = C42.182D6φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).189C2^2192,264
(C2xC3:C8).190C22 = Dic3.M4(2)φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).190C2^2192,278
(C2xC3:C8).191C22 = D6:2M4(2)φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).191C2^2192,287
(C2xC3:C8).192C22 = Dic3:M4(2)φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).192C2^2192,288
(C2xC3:C8).193C22 = C42.27D6φ: C22/C1 → C22 ⊆ Out C2xC3:C8192(C2xC3:C8).193C2^2192,387
(C2xC3:C8).194C22 = C42.202D6φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).194C2^2192,394
(C2xC3:C8).195C22 = D6:3M4(2)φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).195C2^2192,395
(C2xC3:C8).196C22 = C12:M4(2)φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).196C2^2192,396
(C2xC3:C8).197C22 = C42.31D6φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).197C2^2192,399
(C2xC3:C8).198C22 = C12:7M4(2)φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).198C2^2192,483
(C2xC3:C8).199C22 = C42.270D6φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).199C2^2192,485
(C2xC3:C8).200C22 = C42.47D6φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).200C2^2192,570
(C2xC3:C8).201C22 = C12:3M4(2)φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).201C2^2192,571
(C2xC3:C8).202C22 = C42.210D6φ: C22/C1 → C22 ⊆ Out C2xC3:C8192(C2xC3:C8).202C2^2192,583
(C2xC3:C8).203C22 = Dic3:C8:C2φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).203C2^2192,661
(C2xC3:C8).204C22 = (C22xC8):7S3φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).204C2^2192,669
(C2xC3:C8).205C22 = C24:33D4φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).205C2^2192,670
(C2xC3:C8).206C22 = Dic3:4M4(2)φ: C22/C1 → C22 ⊆ Out C2xC3:C896(C2xC3:C8).206C2^2192,677
(C2xC3:C8).207C22 = Dic3:4D8φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).207C2^2192,315
(C2xC3:C8).208C22 = Dic3:6SD16φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).208C2^2192,317
(C2xC3:C8).209C22 = Dic3.SD16φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).209C2^2192,319
(C2xC3:C8).210C22 = (C2xC8).200D6φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).210C2^2192,327
(C2xC3:C8).211C22 = D4:2S3:C4φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).211C2^2192,331
(C2xC3:C8).212C22 = D6:D8φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).212C2^2192,334
(C2xC3:C8).213C22 = D6:SD16φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).213C2^2192,337
(C2xC3:C8).214C22 = Dic3:7SD16φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).214C2^2192,347
(C2xC3:C8).215C22 = Dic3:4Q16φ: C22/C2 → C2 ⊆ Out C2xC3:C8192(C2xC3:C8).215C2^2192,349
(C2xC3:C8).216C22 = Dic3.1Q16φ: C22/C2 → C2 ⊆ Out C2xC3:C8192(C2xC3:C8).216C2^2192,351
(C2xC3:C8).217C22 = Q8:C4:S3φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).217C2^2192,359
(C2xC3:C8).218C22 = S3xQ8:C4φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).218C2^2192,360
(C2xC3:C8).219C22 = C4:C4.150D6φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).219C2^2192,363
(C2xC3:C8).220C22 = D6:2SD16φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).220C2^2192,366
(C2xC3:C8).221C22 = D6:1Q16φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).221C2^2192,372
(C2xC3:C8).222C22 = C42.196D6φ: C22/C2 → C2 ⊆ Out C2xC3:C8484(C2xC3:C8).222C2^2192,383
(C2xC3:C8).223C22 = Dic3:8SD16φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).223C2^2192,411
(C2xC3:C8).224C22 = C24:5Q8φ: C22/C2 → C2 ⊆ Out C2xC3:C8192(C2xC3:C8).224C2^2192,414
(C2xC3:C8).225C22 = C8.8Dic6φ: C22/C2 → C2 ⊆ Out C2xC3:C8192(C2xC3:C8).225C2^2192,417
(C2xC3:C8).226C22 = S3xC4.Q8φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).226C2^2192,418
(C2xC3:C8).227C22 = (S3xC8):C4φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).227C2^2192,419
(C2xC3:C8).228C22 = C8:8D12φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).228C2^2192,423
(C2xC3:C8).229C22 = Dic3:5D8φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).229C2^2192,431
(C2xC3:C8).230C22 = Dic3:5Q16φ: C22/C2 → C2 ⊆ Out C2xC3:C8192(C2xC3:C8).230C2^2192,432
(C2xC3:C8).231C22 = C24:2Q8φ: C22/C2 → C2 ⊆ Out C2xC3:C8192(C2xC3:C8).231C2^2192,433
(C2xC3:C8).232C22 = C8.6Dic6φ: C22/C2 → C2 ⊆ Out C2xC3:C8192(C2xC3:C8).232C2^2192,437
(C2xC3:C8).233C22 = S3xC2.D8φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).233C2^2192,438
(C2xC3:C8).234C22 = C8.27(C4xS3)φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).234C2^2192,439
(C2xC3:C8).235C22 = D6:2D8φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).235C2^2192,442
(C2xC3:C8).236C22 = D6:2Q16φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).236C2^2192,446
(C2xC3:C8).237C22 = S3xC8.C4φ: C22/C2 → C2 ⊆ Out C2xC3:C8484(C2xC3:C8).237C2^2192,451
(C2xC3:C8).238C22 = D24:7C4φ: C22/C2 → C2 ⊆ Out C2xC3:C8484(C2xC3:C8).238C2^2192,454
(C2xC3:C8).239C22 = C2xC6.Q16φ: C22/C2 → C2 ⊆ Out C2xC3:C8192(C2xC3:C8).239C2^2192,521
(C2xC3:C8).240C22 = C2xC12.Q8φ: C22/C2 → C2 ⊆ Out C2xC3:C8192(C2xC3:C8).240C2^2192,522
(C2xC3:C8).241C22 = C2xC6.SD16φ: C22/C2 → C2 ⊆ Out C2xC3:C8192(C2xC3:C8).241C2^2192,528
(C2xC3:C8).242C22 = C4:C4.234D6φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).242C2^2192,557
(C2xC3:C8).243C22 = C4.(C2xD12)φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).243C2^2192,561
(C2xC3:C8).244C22 = C4xD4:S3φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).244C2^2192,572
(C2xC3:C8).245C22 = C4xD4.S3φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).245C2^2192,576
(C2xC3:C8).246C22 = C4xQ8:2S3φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).246C2^2192,584
(C2xC3:C8).247C22 = C4xC3:Q16φ: C22/C2 → C2 ⊆ Out C2xC3:C8192(C2xC3:C8).247C2^2192,588
(C2xC3:C8).248C22 = C3:C8:22D4φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).248C2^2192,597
(C2xC3:C8).249C22 = C3:C8:23D4φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).249C2^2192,600
(C2xC3:C8).250C22 = C3:C8:24D4φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).250C2^2192,607
(C2xC3:C8).251C22 = C3:C8.29D4φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).251C2^2192,610
(C2xC3:C8).252C22 = C42.213D6φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).252C2^2192,615
(C2xC3:C8).253C22 = C42.214D6φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).253C2^2192,618
(C2xC3:C8).254C22 = C42.215D6φ: C22/C2 → C2 ⊆ Out C2xC3:C8192(C2xC3:C8).254C2^2192,624
(C2xC3:C8).255C22 = C42.216D6φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).255C2^2192,627
(C2xC3:C8).256C22 = C12.16D8φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).256C2^2192,629
(C2xC3:C8).257C22 = C12:D8φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).257C2^2192,632
(C2xC3:C8).258C22 = C12:4SD16φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).258C2^2192,635
(C2xC3:C8).259C22 = C12.17D8φ: C22/C2 → C2 ⊆ Out C2xC3:C8192(C2xC3:C8).259C2^2192,637
(C2xC3:C8).260C22 = C12.9Q16φ: C22/C2 → C2 ⊆ Out C2xC3:C8192(C2xC3:C8).260C2^2192,638
(C2xC3:C8).261C22 = C12.SD16φ: C22/C2 → C2 ⊆ Out C2xC3:C8192(C2xC3:C8).261C2^2192,639
(C2xC3:C8).262C22 = C12:6SD16φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).262C2^2192,644
(C2xC3:C8).263C22 = C12.D8φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).263C2^2192,647
(C2xC3:C8).264C22 = C12:3Q16φ: C22/C2 → C2 ⊆ Out C2xC3:C8192(C2xC3:C8).264C2^2192,651
(C2xC3:C8).265C22 = C12.Q16φ: C22/C2 → C2 ⊆ Out C2xC3:C8192(C2xC3:C8).265C2^2192,652
(C2xC3:C8).266C22 = C2xC12.53D4φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).266C2^2192,682
(C2xC3:C8).267C22 = C24.100D4φ: C22/C2 → C2 ⊆ Out C2xC3:C8484(C2xC3:C8).267C2^2192,703
(C2xC3:C8).268C22 = Dic3xD8φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).268C2^2192,708
(C2xC3:C8).269C22 = C24:5D4φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).269C2^2192,710
(C2xC3:C8).270C22 = C24.22D4φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).270C2^2192,714
(C2xC3:C8).271C22 = D6:3D8φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).271C2^2192,716
(C2xC3:C8).272C22 = Dic3xSD16φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).272C2^2192,720
(C2xC3:C8).273C22 = C24.43D4φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).273C2^2192,727
(C2xC3:C8).274C22 = C24:14D4φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).274C2^2192,730
(C2xC3:C8).275C22 = C24:15D4φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).275C2^2192,734
(C2xC3:C8).276C22 = Dic3xQ16φ: C22/C2 → C2 ⊆ Out C2xC3:C8192(C2xC3:C8).276C2^2192,740
(C2xC3:C8).277C22 = C24.26D4φ: C22/C2 → C2 ⊆ Out C2xC3:C8192(C2xC3:C8).277C2^2192,742
(C2xC3:C8).278C22 = D6:3Q16φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).278C2^2192,747
(C2xC3:C8).279C22 = C24.28D4φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).279C2^2192,750
(C2xC3:C8).280C22 = D8:5Dic3φ: C22/C2 → C2 ⊆ Out C2xC3:C8484(C2xC3:C8).280C2^2192,755
(C2xC3:C8).281C22 = C2xQ8:2Dic3φ: C22/C2 → C2 ⊆ Out C2xC3:C8192(C2xC3:C8).281C2^2192,783
(C2xC3:C8).282C22 = C4oD4:4Dic3φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).282C2^2192,792
(C2xC3:C8).283C22 = C2xD8:3S3φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).283C2^2192,1315
(C2xC3:C8).284C22 = C2xQ8.7D6φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).284C2^2192,1320
(C2xC3:C8).285C22 = C2xS3xQ16φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).285C2^2192,1322
(C2xC3:C8).286C22 = C2xD24:C2φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).286C2^2192,1324
(C2xC3:C8).287C22 = C22xC3:Q16φ: C22/C2 → C2 ⊆ Out C2xC3:C8192(C2xC3:C8).287C2^2192,1368
(C2xC3:C8).288C22 = C8xDic6φ: C22/C2 → C2 ⊆ Out C2xC3:C8192(C2xC3:C8).288C2^2192,237
(C2xC3:C8).289C22 = C42.282D6φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).289C2^2192,244
(C2xC3:C8).290C22 = C8xD12φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).290C2^2192,245
(C2xC3:C8).291C22 = C4xC8:S3φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).291C2^2192,246
(C2xC3:C8).292C22 = D6.C42φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).292C2^2192,248
(C2xC3:C8).293C22 = C24:Q8φ: C22/C2 → C2 ⊆ Out C2xC3:C8192(C2xC3:C8).293C2^2192,260
(C2xC3:C8).294C22 = S3xC8:C4φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).294C2^2192,263
(C2xC3:C8).295C22 = C8:9D12φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).295C2^2192,265
(C2xC3:C8).296C22 = Dic3:5M4(2)φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).296C2^2192,266
(C2xC3:C8).297C22 = C42.185D6φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).297C2^2192,268
(C2xC3:C8).298C22 = Dic3.5M4(2)φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).298C2^2192,277
(C2xC3:C8).299C22 = C24:C4:C2φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).299C2^2192,279
(C2xC3:C8).300C22 = C3:D4:C8φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).300C2^2192,284
(C2xC3:C8).301C22 = D6:C8:C2φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).301C2^2192,286
(C2xC3:C8).302C22 = C3:C8:26D4φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).302C2^2192,289
(C2xC3:C8).303C22 = C42.198D6φ: C22/C2 → C2 ⊆ Out C2xC3:C8192(C2xC3:C8).303C2^2192,390
(C2xC3:C8).304C22 = S3xC4:C8φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).304C2^2192,391
(C2xC3:C8).305C22 = C42.200D6φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).305C2^2192,392
(C2xC3:C8).306C22 = D12:C8φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).306C2^2192,393
(C2xC3:C8).307C22 = C12:2M4(2)φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).307C2^2192,397
(C2xC3:C8).308C22 = C42.30D6φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).308C2^2192,398
(C2xC3:C8).309C22 = C2xC42.S3φ: C22/C2 → C2 ⊆ Out C2xC3:C8192(C2xC3:C8).309C2^2192,480
(C2xC3:C8).310C22 = C4xC4.Dic3φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).310C2^2192,481
(C2xC3:C8).311C22 = C2xC12:C8φ: C22/C2 → C2 ⊆ Out C2xC3:C8192(C2xC3:C8).311C2^2192,482
(C2xC3:C8).312C22 = C42.285D6φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).312C2^2192,484
(C2xC3:C8).313C22 = C42.43D6φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).313C2^2192,558
(C2xC3:C8).314C22 = C42.187D6φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).314C2^2192,559
(C2xC3:C8).315C22 = D4xC3:C8φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).315C2^2192,569
(C2xC3:C8).316C22 = Q8xC3:C8φ: C22/C2 → C2 ⊆ Out C2xC3:C8192(C2xC3:C8).316C2^2192,582
(C2xC3:C8).317C22 = C2xDic3:C8φ: C22/C2 → C2 ⊆ Out C2xC3:C8192(C2xC3:C8).317C2^2192,658
(C2xC3:C8).318C22 = C2xC24:C4φ: C22/C2 → C2 ⊆ Out C2xC3:C8192(C2xC3:C8).318C2^2192,659
(C2xC3:C8).319C22 = C12.12C42φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).319C2^2192,660
(C2xC3:C8).320C22 = C8xC3:D4φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).320C2^2192,668
(C2xC3:C8).321C22 = Dic3xM4(2)φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).321C2^2192,676
(C2xC3:C8).322C22 = C12.88(C2xQ8)φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).322C2^2192,678
(C2xC3:C8).323C22 = C24:D4φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).323C2^2192,686
(C2xC3:C8).324C22 = C24:21D4φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).324C2^2192,687
(C2xC3:C8).325C22 = D6:C8:40C2φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).325C2^2192,688
(C2xC3:C8).326C22 = (C6xD4).11C4φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).326C2^2192,793
(C2xC3:C8).327C22 = C2xC8oD12φ: C22/C2 → C2 ⊆ Out C2xC3:C896(C2xC3:C8).327C2^2192,1297
(C2xC3:C8).328C22 = S3xC4xC8φ: trivial image96(C2xC3:C8).328C2^2192,243
(C2xC3:C8).329C22 = D6.4C42φ: trivial image96(C2xC3:C8).329C2^2192,267
(C2xC3:C8).330C22 = Dic6:C8φ: trivial image192(C2xC3:C8).330C2^2192,389
(C2xC3:C8).331C22 = C2xC4xC3:C8φ: trivial image192(C2xC3:C8).331C2^2192,479
(C2xC3:C8).332C22 = C12.5C42φ: trivial image96(C2xC3:C8).332C2^2192,556
(C2xC3:C8).333C22 = Dic3xC2xC8φ: trivial image192(C2xC3:C8).333C2^2192,657
(C2xC3:C8).334C22 = C12.7C42φ: trivial image96(C2xC3:C8).334C2^2192,681

׿
x
:
Z
F
o
wr
Q
<